On Some Differences Between Semantics of Logic Program Updates

Since the introduction of logic program updates based on causal rejection of rules, several different semantics were set forth. All these semantics were introduced with the same underlying motivation i.e., to overcome the drawbacks of interpretation based updates by applying the principle of inertia to program rules, but they were all defined for different classes of logic programs thus making their comparisons difficult. In this paper we redefine such existing semantics, and set forth a new one, all in the more general setting of Generalized Logic Programs, in a way that facilitates their comparisons. Subsequently, we take a closer look at the subtle differences between these otherwise similar approaches.